带有异或运算安全协议的自动化检测

针对当前模型检测工具普遍不能检测带有异或运算安全协议的问题,提出了一个新的模型检测器SAT#.该模型检测器通过引入抽象异或项的概念及其运算规则,大大降低了攻击者生成的异或消息数量,解决了由于引入传统异或运算导致的状态空间爆炸问题.在此基础上,通过在SAT模型中增加基于抽象异或项的重写规则,扩展了攻击者的异或运算能力,实现了对带有异或运算安全协议的自动化检测.通过对BULL协议的检测,证明了抽象异或项的实用性,同时也证明了SAT#模型检测器的可靠性.     

胶凝砂砾石坝体的受力特性及超载能力分析

为了研究胶凝砂砾石坝体的受力特性,运用线弹性有限元方法,计算坝体的应力分布和变形性态.为了研究坝体的极限承载能力和安全储备情况,采用D-P弹塑性模型来模拟胶凝砂砾石本构关系,同时建立非线性有限元模型,对胶凝砂砾石坝体进行了容重超载法、水头超载法和降强安全储备的研究.     

高含沙河流“揭河底”河段胶泥层力学性能研究

针对高含沙河流"揭河底"现象,试验分析了"揭河底"河段絮凝沉积胶泥层土样的干密度、含水量、塑性指数与其抗剪强度的关系以及胶泥层的各项力学特性,可为研究"揭河底"河段胶泥层力学强度与掀揭临界条件提供参考.     

基于单片机的多功能密码输入器的设计

现实生活中几乎所有密码输入器按键位置均固定,密码容易泄露。为了改善其缺点,提出一种以STC89C52单片机为主控芯片,实现了多功能密码输入器的设计。在设计系统中详细阐述其工作原理,并给出具体的硬件设计、软件设计。设计结果表明,该多功能密码输入器具有方便使用、安全性好、设计新颖等优点,能够广泛应用于ATM机、POS机等许多场合。     

城镇化进程中失地农民社会保障问题与对策

近几年来我国农村城镇化发展有了明显成效,但社会保障问题一直困扰着失地农民。征地制度不完善、社会保障水平发展不平衡,以及户籍制度的不完善是失地农民社会保障存在障碍的主要原因,因此应该进一步完善耕地制度、社会保障制度、失地农民的再就业机制,以及加强户籍政策建设。     

大学生生理性指标对身体素质影响的实证研究——基于12分钟跑练习测试

大学生身体素质下降已成社会问题,必须从依靠社团的集体活动并加强管理等方面着手,引导大学生积极参与体育锻炼。12分钟跑练习的实验结果显示,经过进行中长距离的长跑锻炼后,男女生的生化指标均发生了不同程度的变化,可见有规律、强度适宜的耐力练习可显著提高大学生心肺功能和耐力水平。     

基于随机波束成型的MISO OFDMA物理层安全算法

在多用户非互易性信道场景下,基于信道状态信息的物理层安全算法需要接收端反馈大量的信道状态信息,导致系统保密吞吐量降低。针对这一问题,文章设计了一种基于随机波束成型的MISO-OFDMA物理层安全算法。在用户选择阶段,发送端依次发送随机生成的正交波束,每个接收用户反馈各个子载波上信干噪比（SINR）最大的波束索引,以减少反馈数据量;发送端将子载波分配给SINR最大的接收用户。在加密传输阶段,发送端在SINR最大的波束上发送有用信号,保证相应合法用户的正常通信;在其余波束上发送人工噪声,扰乱窃听者的监听。性能分析和仿真结果表明：当天线数为16,合法用户数为150时,相对于人工噪声方法,所提算法的保密吞吐量提高了2bit／s。     

应力吸收层结合料流变特性研究

应力吸收层的抗裂抗渗功能对其改性沥青结合料提出了更高的要求,但长期以来,国内外对应力吸收层结合料的研究相对较少,尤其是对其流变特性的研究,而改性沥青在不同温度下的流变性能与其实际的路用性能关系密切。选取两种应力吸收层改性沥青、两种普通改性沥青和一种基质沥青,根据SHRP规范推荐的试验方法,对比研究了5种沥青老化前后的高温、中温和低温流变性能。结果表明,应力吸收层结合料具有较好的抗老化性能,并具有良好的低温抗裂和中温抗疲劳性能。研究成果为应力吸收层的推广应用提供了试验依据。     

南京市高职教师身体健康与体育锻炼研究

通过对5所高职院校教师的体育锻炼情况及健康状况的调查研究,得出高职院校教师整体缺乏体育锻炼,身体健康状况堪忧的现状。经分析认为造成这一状况的主要原因为高职院校缺乏良好的体育文化氛围,教师体育锻炼没有完善的规章制度,运动场地器材匮乏以及其他制约因素多。并提出具体的改进方法。     

基于CorelDRAW软件的服装款式图表达——以男西装款式图绘制为例

服装款式图是服装设计师表达设计概念的一种重要的设计途径,CorelDRAW软件强大的工具组能够完美、快捷地完成服装款式的绘制与表达。结合男西装款式图案例,通过研究CorelDRAW X4的绘图功能,阐述了CorelDRAW软件在服装款式图绘制上的表达技巧。